Vaughan Pratt : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (66)
Les plus populaires
Liste
- Liste
- Tableau

1

Fast Pattern Matching in Strings

Knuth, Donald E., Morris, Jr., James H., Pratt, Vaughan R.

Journal:

SIAM Journal on Computing

Année:

1977

Langue:

english

Fichier:

PDF, 2.99 MB

english, 1977

2

Time bounds for selection

Manuel Blum, Robert W. Floyd, Vaughan Pratt, Ronald L. Rivest, Robert E. Tarjan

Journal:

Journal of Computer and System Sciences

Année:

1973

Langue:

english

Fichier:

PDF, 957 KB

english, 1973

3

[IEEE 2011 IEEE Intelligent Vehicles Symposium (IV) - Baden-Baden, Germany (2011.06.5-2011.06.9)] 2011 IEEE Intelligent Vehicles Symposium (IV) - Towards fully autonomous driving: Systems and algorithms

Levinson, Jesse, Askeland, Jake, Becker, Jan, Dolson, Jennifer, Held, David, Kammel, Soeren, Kolter, J. Zico, Langer, Dirk, Pink, Oliver, Pratt, Vaughan, Sokolsky, Michael, Stanek, Ganymed, Stavens, D

Année:

2011

Langue:

english

Fichier:

PDF, 819 KB

english, 2011

4

[ACM Press the 1st annual ACM SIGACT-SIGPLAN symposium - Boston, Massachusetts (1973.10.01-1973.10.03)] Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '73 - Top down operator precedence

Pratt, Vaughan R.

Année:

1973

Langue:

english

Fichier:

PDF, 1.09 MB

english, 1973

5

Math Bite: The Volume of a Cone, without Calculus or Square Roots

Journal:

Mathematics Magazine

Année:

1998

Langue:

english

Fichier:

PDF, 120 KB

english, 1998

6

Application of modal logic to programming

Vaughan R. Pratt

Journal:

Année:

1980

Langue:

english

Fichier:

PDF, 1.25 MB

english, 1980

7

Factoring Heron

Journal:

College Mathematics Journal

Année:

2009

Langue:

english

Fichier:

PDF, 269 KB

english, 2009

8

Every Prime Has a Succinct Certificate

Pratt, Vaughan R.

Journal:

SIAM Journal on Computing

Année:

1975

Langue:

english

Fichier:

PDF, 657 KB

english, 1975

9

[IEEE Automata Theory - USA (1973.10.15-1973.10.17)] 14th Annual Symposium on Switching and Automata Theory (swat 1973) - On lower bounds for computing the i-th largest element

Pratt, Vaughan R., Yao, Foong Frances

Année:

1973

Langue:

english

Fichier:

PDF, 1.13 MB

english, 1973

10

10689

Donald E. Knuth and Vaughan Pratt

Journal:

American Mathematical Monthly

Année:

1998

Langue:

english

Fichier:

PDF, 210 KB

english, 1998

11

The Real Numbers, Algebraically: 10689

Donald E. Knuth, Vaughan Pratt and O. P. Lossers

Journal:

American Mathematical Monthly

Année:

2000

Langue:

english

Fichier:

PDF, 115 KB

english, 2000

12

Algebraic Logic || Dynamic Algebras: Examples, Constructions, Applications

Journal:

Année:

1991

Langue:

english

Fichier:

PDF, 3.72 MB

english, 1991

13

A near-optimal method for reasoning about action

Vaughan R. Pratt

Journal:

Journal of Computer and System Sciences

Année:

1980

Langue:

english

Fichier:

PDF, 1.71 MB

english, 1980

14

Types as Processes, via Chu spaces

Vaughan R. Pratt

Journal:

Electronic Notes in Theoretical Computer Science

Année:

1997

Langue:

english

Fichier:

PDF, 1003 KB

english, 1997

15

Dynamic algebras: Examples, constructions, applications

Journal:

Année:

1991

Langue:

english

Fichier:

PDF, 1.94 MB

english, 1991

16

Modeling concurrency with partial orders

Journal:

International Journal of Parallel Programming

Année:

1986

Langue:

english

Fichier:

PDF, 2.05 MB

english, 1986

17

The Power of Negative Thinking in Multiplying Boolean Matrices

Pratt, Vaughan R.

Journal:

SIAM Journal on Computing

Année:

1975

Langue:

english

Fichier:

PDF, 526 KB

english, 1975

18

Poison and Profits: Cyanide Fishing in the Indo-Pacific

Barber, Charles Victor, Pratt, Vaughan R.

Journal:

Environment Science and Policy for Sustainable Development

Année:

1998

Langue:

english

Fichier:

PDF, 2.15 MB

english, 1998

19

[ACM Press the 10th ACM SIGACT-SIGPLAN symposium - Austin, Texas (1983.01.24-1983.01.26)] Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '83 - Five paradigm shifts in programming language design and their realization in Viron, a dataflow programming environment

Année:

1983

Langue:

english

Fichier:

PDF, 1.09 MB

english, 1983

20

Higher dimensional automata revisited

Journal:

Mathematical Structures in Computer Science

Année:

2000

Langue:

english

Fichier:

PDF, 267 KB

english, 2000

21

Application of Modal Logic to Programming

Vaughan R. Pratt

Journal:

Année:

1980

Langue:

english

Fichier:

PDF, 2.33 MB

english, 1980

22

[Studies in Logic and the Foundations of Mathematics] Logic, Methodology and Philosophy of Science VI, Proceedings of the Sixth International Congress of Logic, Methodology and Philosophy of Science Volume 104 || Dynamic Logic

Pratt, Vaughan R.

Année:

1982

Langue:

english

Fichier:

PDF, 692 KB

english, 1982

23

Math Bite: The Volume of a Cone, Without Calculus or Square Roots

Journal:

Mathematics Magazine

Année:

1998

Langue:

english

Fichier:

PDF, 272 KB

english, 1998

24

A characterization of the power of vector machines

Vaughan R. Pratt, Larry J. Stockmeyer

Journal:

Journal of Computer and System Sciences

Année:

1976

Langue:

english

Fichier:

PDF, 1.13 MB

english, 1976

25

Chu spaces from the representational viewpoint

Journal:

Annals of Pure and Applied Logic

Année:

1999

Langue:

english

Fichier:

PDF, 1.10 MB

english, 1999

26

Chu spaces as a semantic bridge between linear logic and mathematics

Journal:

Theoretical Computer Science

Année:

2003

Langue:

english

Fichier:

PDF, 231 KB

english, 2003

27

Comonoids in chu: a large cartesian closed sibling of topological spaces

Vaughan R. Pratt

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2003

Langue:

english

Fichier:

PDF, 162 KB

english, 2003

28

Towards Full Completeness of the Linear Logic of Chu Spaces

Vaughan R. Pratt

Journal:

Electronic Notes in Theoretical Computer Science

Année:

1997

Langue:

english

Fichier:

PDF, 1012 KB

english, 1997

29

Broadening the denotational semantics of linear logic: (Preliminary Report)

Journal:

Electronic Notes in Theoretical Computer Science

Année:

1996

Langue:

english

Fichier:

PDF, 527 KB

english, 1996

30

Cyanide-free Net-caught Fish for the Marine Aquarium Trade

Peter J. Rubec, Ferdinand Cruz, Vaughan Pratt, Richard Oellers, Brian McCullough, Frank Lallo

Journal:

Aquarium Sciences and Conservation

Année:

2001

Langue:

english

Fichier:

PDF, 133 KB

english, 2001

31

Territorial Use Rights in Fisheries to Manage Areas for Farming Coral Reef Fish and Invertebrates for the Aquarium Trade

Peter J. Rubec, Vaughan R. Pratt, Ferdinand Cruz

Journal:

Aquarium Sciences and Conservation

Année:

2001

Langue:

english

Fichier:

PDF, 475 KB

english, 2001

32

British National Lymphoma Investigation: Pilot Studies of Neoadjuvant Chemotherapy in Clinical Stage Ia and IIa Hodgkin's Disease

A.M. Moody, J. Pratt, G. Vaughan Hudson, P. Smith, A. Lamont, M.V. Williams

Journal:

Clinical Oncology

Année:

2001

Langue:

english

Fichier:

PDF, 147 KB

english, 2001

33

APL and LISP---should they be combined, and if so how?

Perlis, Alan J., Burge, William H., Moses, Joel, Pratt, Vaughan R.

Journal:

ACM SIGAPL APL Quote Quad

Année:

1979

Langue:

english

Fichier:

PDF, 32 KB

english, 1979

34

Respiratory Disease Caused by Corynebacterium pseudotuberculosis

Suzanne M. Pratt, Sharon J. Spier, Betsy Vaughan, Mary Beth Withcomb, Megan R. Uerling, W. David Wilson

Journal:

Clinical Techniques in Equine Practice

Année:

2006

Langue:

english

Fichier:

PDF, 421 KB

english, 2006

35

Direct least-squares fitting of algebraic surfaces

Journal:

ACM SIGGRAPH Computer Graphics

Année:

1987

Langue:

english

Fichier:

PDF, 891 KB

english, 1987

36

[ACM Press the sixth annual ACM symposium - Seattle, Washington, United States (1974.04.30-1974.05.02)] Proceedings of the sixth annual ACM symposium on Theory of computing - STOC '74 - The power of negative thinking in multiplying Boolean matrices

Pratt, Vaughan R.

Année:

1974

Langue:

english

Fichier:

PDF, 256 KB

english, 1974

37

[ACM Press the sixth annual ACM symposium - Seattle, Washington, United States (1974.04.30-1974.05.02)] Proceedings of the sixth annual ACM symposium on Theory of computing - STOC '74 - A characterization of the power of vector machines

Pratt, Vaughan R., Rabin, Michael O., Stockmeyer, Larry J.

Année:

1974

Langue:

english

Fichier:

PDF, 818 KB

english, 1974

38

[ACM Press the 12th annual conference - Not Known (1985..-..)] Proceedings of the 12th annual conference on Computer graphics and interactive techniques - SIGGRAPH '85 - Techniques for conic splines

Année:

1985

Langue:

english

Fichier:

PDF, 1.02 MB

english, 1985

39

Plasticity of fimbrial genotype and serotype within populations of Bordetella pertussis: analysis by paired flow cytometry and genome sequencing

Vaughan, T. E., Pratt, C. B., Sealey, K., Preston, A., Fry, N. K., Gorringe, A. R.

Journal:

Microbiology (Society for General Microbiology)

Année:

2014

Langue:

english

Fichier:

PDF, 1.74 MB

english, 2014

40

[IEEE 17th Annual Symposium on Foundations of Computer Science (sfcs 1976) - Houston, TX, USA (1976.10.25-1976.10.27)] 17th Annual Symposium on Foundations of Computer Science (sfcs 1976) - The mutual exclusion problem for unreliable processes

Rivest, Ronald L., Pratt, Vaughan R.

Année:

1976

Langue:

english

Fichier:

PDF, 1.10 MB

english, 1976

41

[IEEE 17th Annual Symposium on Foundations of Computer Science (sfcs 1976) - Houston, TX, USA (1976.10.25-1976.10.27)] 17th Annual Symposium on Foundations of Computer Science (sfcs 1976) - Semantical consideration on floyo-hoare logic

Pratt, Vaughan R.

Année:

1976

Langue:

english

Fichier:

PDF, 1.93 MB

english, 1976

42

Transition and cancellation in concurrency and branching time

PRATT, VAUGHAN R.

Journal:

Mathematical Structures in Computer Science

Année:

2003

Langue:

english

Fichier:

PDF, 545 KB

english, 2003

43

Temporal Structures

Casley, Ross, Crew, Roger F., Meseguer, José, Pratt, Vaughan

Journal:

Mathematical Structures in Computer Science

Année:

1991

Langue:

english

Fichier:

PDF, 5.46 MB

english, 1991

44

Characterization of the key antigenic components and pre-clinical immune responses to a meningococcal disease vaccine based on Neisseria lactamica outer membrane vesicles

Finney, Michelle, Vaughan, Thomas, Taylor, Stephen, Hudson, Michael J., Pratt, Catherine, Wheeler, Jun X., Vipond, Caroline, Feavers, Ian, Jones, Christopher, Findlow, Jamie, Borrow, Ray, Gorringe, An

Journal:

Année:

2008

Langue:

english

Fichier:

PDF, 975 KB

english, 2008

45

Nasopharyngeal Colonization by Neisseria lactamica and Induction of Protective Immunity against Neisseria meningitidis

Evans, C. M., Pratt, C. B., Matheson, M., Vaughan, T. E., Findlow, J., Borrow, R., Gorringe, A. R., Read, R. C.

Journal:

Clinical Infectious Diseases

Année:

2011

Langue:

english

Fichier:

PDF, 391 KB

english, 2011

46

Improvements to an Empirical Parameterization of Heterogeneous Ice Nucleation and Its Comparison with Observations

Phillips, Vaughan T. J., Demott, Paul J., Andronache, Constantin, Pratt, Kerri A., Prather, Kimberly A., Subramanian, R., Twohy, Cynthia

Journal:

Journal of the Atmospheric Sciences

Année:

2013

Langue:

english

Fichier:

PDF, 2.03 MB

english, 2013

47

Adaptive forward differencing for rendering curves and surfaces

Lien, Sheue-Ling, Shantz, Michael, Pratt, Vaughan

Journal:

ACM SIGGRAPH Computer Graphics

Année:

1987

Langue:

english

Fichier:

PDF, 1.10 MB

english, 1987

48

[ACM Press the fifth annual ACM symposium - Austin, Texas, United States (1973.04.30-1973.05.02)] Proceedings of the fifth annual ACM symposium on Theory of computing - STOC '73 - Computing permutations with double-ended queues, parallel stacks and parallel queues

Pratt, Vaughan R.

Année:

1973

Langue:

english

Fichier:

PDF, 835 KB

english, 1973

49

Linear Algorithm for Data Compression via String Matching

Rodeh, Michael, Pratt, Vaughan R., Even, Shimon

Journal:

Journal of the ACM

Année:

1981

Langue:

english

Fichier:

PDF, 496 KB

english, 1981

50

[ACM Press the 14th annual conference - Not Known (1987..-..)] Proceedings of the 14th annual conference on Computer graphics and interactive techniques - SIGGRAPH '87 - Adaptive forward differencing for rendering curves and surfaces

Lien, Sheue-Ling, Shantz, Michael, Pratt, Vaughan

Année:

1987

Langue:

english

Fichier:

PDF, 1.10 MB

english, 1987